package abstractaspects;

public abstract aspect AbstractCheckpoint {

}
